<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html>
        <head><title>trait Nothing in package scala</title>
        <meta http-equiv="content-type" content="text/html; charset=ISO-8859-1"></meta><meta content="scaladoc (version 2.6.1-final)" name="generator"></meta><link href="../style.css" type="text/css" rel="stylesheet"></link><script type="text/javascript" src="../script.js"></script>
        </head>
        <body onload="init()">
        <table summary="" class="navigation">
        <tr>
          <td class="navigation-links" valign="top">
            <!-- <table><tr></tr></table> -->
          </td>
          <td align="right" valign="top" style="white-space:nowrap;" rowspan="2">
            <div class="doctitle-larger">Scalaz 2.3</div>
          </td>
        </tr>
        <tr><td></td></tr>
      </table><div align="right"><img alt="Workingmouse" src="http://projects.workingmouse.com/public/resources/images/logo_full_transparent.png"></img></div>
        
      <div class="entity">
        <a href="../scala$package.html" target="_self">scala</a>
        <br></br>
        <span class="entity">trait  Nothing</span>
      </div><hr></hr>
      <div class="source">
        [Source: none]
      </div><hr></hr>
      <a name="Nothing"></a><dl>
      <dt>
        
        <code>final</code>
        <code>trait</code>
        <em>Nothing</em>
      </dt>
      <dd><code> extends </code><a href="../scala/Any.html" target="_self">Any</a></dd>
    </dl>
      <dl><dd>/* <p>
        Class <code>Nothing</code> (previously named <code>All</code> in
        <a href="http://scala-lang.org" target="_top">Scala</a> 2.2.0 and
        older versions) is - together with class <a href="Null.html">
        <code>Null</code></a> - at the bottom of the
        <a href="http://scala-lang.org" target="_top">Scala</a> type
        hierarchy.
      </p>
      <p>
        Type <code>Nothing</code> is a subtype of every other type
        (including <a href="Null.html"><code>Null</code></a>); there
        exist <em>no instances</em> of this type. Even though type
        <code>Nothing</code> is empty, it is nevertheless useful as a
        type parameter. For instance, the <a href="http://scala-lang.org"
        target="_top">Scala</a> library defines a value
        <a href="Nil$object.html"><code>Nil</code></a> of type
        <code><a href="List.html">List</a>[Nothing]</code>. Because lists
        are covariant in <a href="http://scala-lang.org" target="_top">Scala</a>,
        this makes <a href="Nil$object.html"><code>Nil</code></a> an
        instance of <code><a href="List.html">List</a>[T]</code>, for
        any element type <code>T</code>.
      </p>
    /</dd></dl>
      <dl></dl>
    
      


<table summary="" cellpadding="3" class="inherited">
        <tr><td class="title" colspan="2">
          Methods inherited from <a href="../scala/Any.html" target="_self">Any</a>
        </td></tr>
        <tr><td class="signature" colspan="2">
          <a href="../scala/Any.html#%3D%3D%28Any%29" target="_self">==</a>, <a href="../scala/Any.html#%21%3D%28Any%29" target="_self">!=</a>, <a href="../scala/Any.html#equals%28Any%29" target="_self">equals</a>, <a href="../scala/Any.html#hashCode%28%29" target="_self">hashCode</a>, <a href="../scala/Any.html#toString%28%29" target="_self">toString</a>, <a href="../scala/Any.html#isInstanceOf" target="_self">isInstanceOf</a>, <a href="../scala/Any.html#asInstanceOf" target="_self">asInstanceOf</a>
        </td></tr>
      </table>


      





    <hr></hr>
        <table summary="" class="navigation">
        <tr>
          <td class="navigation-links" valign="top">
            <!-- <table><tr></tr></table> -->
          </td>
          <td align="right" valign="top" style="white-space:nowrap;" rowspan="2">
            <div class="doctitle-larger">Scalaz 2.3</div>
          </td>
        </tr>
        <tr><td></td></tr>
      </table>
      </body>
      </html>